extract program造句

例句与造句

1. Beyond giving insight into intuitionistic provability, realizability can be applied to prove the disjunction and existence properties for intuitionistic theories and to extract programs from proofs, as in proof mining.
2. It's difficult to find extract program in a sentence. 用extract program造句挺难的